List homomorphism problems for signed trees
نویسندگان
چکیده
We consider homomorphisms of signed graphs from a computational perspective. In particular, we study the list homomorphism problem seeking an input graph $(G,\sigma)$, equipped with lists $L(v) \subseteq V(H), v \in V(G)$, allowed images, to fixed target $(H,\pi)$. The complexity similar without (corresponding all being $L(v)=V(H)$) has been previously classified by Brewster and Siggers, but version remains open appears difficult. illustrate this difficulty classifying when $H$ is tree (with possible loops). tools develop will be useful for classifications other classes graphs, in future companion paper using them classify certain irreflexive graphs. structure trees polynomial cases interesting, suggesting that class general which problems are may have nice structure, analogous so-called bi-arc (which characterized unsigned graphs).
منابع مشابه
Dichotomy for tree-structured trigraph list homomorphism problems
Trigraph list homomorphism problems (also known as list matrix partition problems) have generated recent interest, partly because there are concrete problems that are not known to be polynomial time solvable or NP -complete. Thus while digraph list homomorphism problems enjoy dichotomy (each problem is NP -complete or polynomial time solvable), such dichotomy is not necessarily expected for tri...
متن کاملList Homomorphism with Accumulation
This paper introduces accumulation into list homomorphisms for systematic development of both efficient and correct parallel programs. New parallelizable recursive pattern called H-homomorphism is given, and transformations from sequential patterns in the H-form and Hform into (H-)homomorphism are shown. We illustrate the power of our formalization by developing a novel and general parallel pro...
متن کاملDichotomy for Digraph Homomorphism Problems
We consider the problem of finding a homomorphism from an input digraph G to a fixed digraph H. We show that if H admits a weak-near-unanimity polymorphism φ then deciding whether G admits a homomorphism to H (HOM(H)) is polynomial time solvable. This confirms the conjecture of Bulatov, Jeavons, and Krokhin [BJK05], in the form postulated by Maroti and McKenzie [MM08], and consequently implies ...
متن کاملHomomorphism Problems for First-Order Definable Structures
We investigate several variants of the homomorphism problem: given two relational structures, is there a homomorphism from one to the other? The input structures are possibly infinite, but definable by first-order interpretations in a fixed structure. Their signatures can be either finite or infinite but definable. The homomorphisms can be either arbitrary, or definable with parameters, or defi...
متن کاملApproximation Algorithms for Graph Homomorphism Problems
We introduce the maximum graph homomorphism (MGH) problem: given a graph G, and a target graph H, find a mapping φ : VG 7→ VH that maximizes the number of edges of G that are mapped to edges of H. This problem encodes various fundamental NP-hard problems including Maxcut and Max-k-cut. We also consider the multiway uncut problem. We are given a graphG and a set of terminals T ⊆ VG. We want to p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 2023
ISSN: ['1872-681X', '0012-365X']
DOI: https://doi.org/10.1016/j.disc.2022.113257